Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
211	Propagation Networks: A Flexible and Expressive Substrate for Computation Alexey Andreyevich Radul August 4th, 2009, MIT CSAIL Add to Reading List Source URL: web.mit.edu Language: English - Date: 2009-09-08 15:42:59 FO Finite model theory Mathematics
212	Grouped Model Averaging for Finite Sample Size Xinyu Zhang and Aman Ullah∗ Chinese Academy of Sciences and University of California, Riverside Abstract: This paper studies grouped model averaging methods for finite sam Add to Reading List Source URL: economics.ucr.edu Language: English - Date: 2015-02-03 19:20:38 Econometrics Least squares Parametric statistics Ordinary least squares Linear regression Mean squared error Generalized method of moments Instrumental variable Estimator Statistics Estimation theory Regression analysis
213	Quotation Request Name: Contact Number: 8 Sp r i n g St re e t , Fi tzro y, Vi c[removed] Add to Reading List Source URL: meridiansculpture.com Language: English - Date: 2013-01-29 20:01:22 Speech Assessment Methods Phonetic Alphabet chart for English English orthography FO Finite model theory English phonology
214	R un ele de as r t ed he b Add to Reading List Source URL: www.ehp.qld.gov.au Language: English - Date: 2015-03-03 21:43:28 FO Finite model theory English phonology
215	On the Complexity of Query Result Diversification 1 Ting Deng1 Wenfei Fan2,1 Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-06-29 06:38:52 Complexity classes Finite model theory Structural complexity theory FO Descriptive complexity Conjunctive query SO Oracle machine P Theoretical computer science Computational complexity theory Applied mathematics
216	Specula(ng Seriously Rachid Guerraoui, EPFL The World is turning IT IT is turning distributed Add to Reading List Source URL: lpdwww.epfl.ch Language: English - Date: 2010-10-12 11:08:22 Finite model theory SO Complexity Science Structure Computational complexity theory Applied mathematics Descriptive complexity
217	On the Complexity of Existential Positive Queries HUBIE CHEN, Universidad del Pa´ıs Vasco and IKERBASQUE We systematically investigate the complexity of model checking the existential positive fragment of firstorder lo Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2013-09-23 12:22:15 Finite model theory Model theory Parameterized complexity Analysis of algorithms Structural complexity theory FO First-order logic SO Polynomial hierarchy Theoretical computer science Computational complexity theory Applied mathematics
218	infograhicstatsv_13_largercircles Add to Reading List Source URL: www.centacarebrokenbay.org.au Language: English - Date: 2015-04-08 20:15:20 FO Finite model theory
219	A Type System for Expressive Security Policies∗ David Walker Cornell University abstraction preservation (programs use abstract data types only as their interfaces allow). These properties Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-16 16:28:29 Mathematics Logic First-order logic Interpretation Symbol Functional predicate Type safety Function Nondeterministic finite automaton Mathematical logic Automata theory Model theory
220	Combining Static Model Checking with Dynamic Enforcement using the Statecall Policy Language Anil Madhavapeddy Imperial College, South Kensington, London SW1 2AZ, UK [removed] Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Computing Programming language theory Promela Finite-state machine ALGOL 68 Software engineering Automata theory Models of computation

UPDATE